1. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
2. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
3. Logic and Program Semantics
پدیدآورنده : / Robert L. Constable, Alexandra Silva
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
5. Logic and program semantics
پدیدآورنده : Robert L. Constable, Alexandra Silva (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic,Computer programming,Software engineering
رده :
QA76
.
9
.
L63
L64
2012eb
6. Renaissance and renewal in the twelfth century
پدیدآورنده : edited by Robert L. Benson and Giles Constable
کتابخانه: The library, the center of scientific documents and research institutes of the hawzeh and university (Qom)
موضوع : 674 - 2941 ، Europe - History
رده :
D
200
.
R45
1982
